Is it possible for a function to have two Records with function values with the same parameters as a